Grotius' Latin poetry is typical for its manifold reminiscences of examples from Roman antiquity. His favourite Latin poets were Lucan, Manilius, Statius and Claudian. Especially the influence of the first-mentioned poet is prominent. It is shown here by some examples from the Genealogia Nassaviorum , the Silva in Annales Borrhii and other poems in what way Grotius made use of Lucan.

The standard Brouwer–Zadeh poset Σ(H) is the poset of all effect operators on a Hilbert space H, naturally equipped with two types of orthocomplementation. In developing the theory, the question occured if (when) Σ(H) fulfils the de Morgan property with respect to both orthocomplementation operations. In Ref.3 the authors proved that it is the case provided dimH<∞, and they conjectured that if dimH=∞, then the answer is in the negative. In this note, we first give a somewhat simpler proof of (...) the known result for dimH<∞, and then we give a proof to the conjecture: We show that if dimH=∞, then the de Morgan property is not valid. (shrink)

We present a new English translation of L.E.J. Brouwer's paper ‘De onbetrouwbaarheid der logische principes’ of 1908, together with a philosophical and historical introduction. In this paper Brouwer for the first time objected to the idea that the Principle of the Excluded Middle is valid. We discuss the circumstances under which the manuscript was submitted and accepted, Brouwer's ideas on the principle of the excluded middle, its consistency and partial validity, and his argument against the possibility of absolutely undecidable propositions. (...) We note that principled objections to the general excluded middle similar to Brouwer's had been advanced in print by Jules Molk two years before. Finally, we discuss the influence on George Griss' negationless mathematics. (shrink)

Par des suites de choix, nous comprenons des suites qui ne sont pas déterminées complètement par une loi arithmétique. Elles sont des objets caractéristiques de l’intuitionnisme de Brouwer. Nous prétendons qu’à partir de 1927, l’utilisation par Brouwer de suites de choix particulières n’est pas reconnu comme tel. Nous prétendons que l’utilisation de ces suites dans la méthode du sujet créatif, après la seconde guerre mondiale, n’a pas à être mis en relation avec l’utilisation de celles-ci dans les années vingt et (...) qu’elles sont mal interprétées. Nous montrons où se trouvent ces suites de choix dans l’œuvre de Brouwer et comment elles doivent être traitées. (shrink)

Par des suites de choix, nous comprenons des suites qui ne sont pas déterminées complètement par une loi arithmétique. Elles sont des objets caractéristiques de l’intuitionnisme de Brouwer. Nous prétendons qu’à partir de 1927, l’utilisation par Brouwer de suites de choix particulières n’est pas reconnu comme tel. Nous prétendons que l’utilisation de ces suites dans la méthode du sujet créatif, après la seconde guerre mondiale, n’a pas à être mis en relation avec l’utilisation de celles-ci dans les années vingt et (...) qu’elles sont mal interprétées. Nous montrons où se trouvent ces suites de choix dans l’œuvre de Brouwer et comment elles doivent être traitées. (shrink)

After having defined the KARO logic for specifying intelligent agents in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these languages can be linked to the KARO logic.

BackgroundGenome-wide association studies (GWAS) provide a powerful means of identifying genetic variants that play a role in common diseases. Such studies present important ethical challenges. An increasing number of GWAS is taking place in lower income countries and there is a pressing need to identify the particular ethical challenges arising in such contexts. In this paper, we draw upon the experiences of the MalariaGEN Consortium to identify specific ethical issues raised by such research in Africa, Asia and Oceania.DiscussionWe explore ethical (...) issues in three key areas: protecting the interests of research participants, regulation of international collaborative genomics research and protecting the interests of scientists in low income countries. With regard to participants, important challenges are raised about community consultation and consent. Genomics research raises ethical and governance issues about sample export and ownership, about the use of archived samples and about the complexity of reviewing such large international projects. In the context of protecting the interests of researchers in low income countries, we discuss aspects of data sharing and capacity building that need to be considered for sustainable and mutually beneficial collaborations.SummaryMany ethical issues are raised when genomics research is conducted on populations that are characterised by lower average income and literacy levels, such as the populations included in MalariaGEN. It is important that such issues are appropriately addressed in such research. Our experience suggests that the ethical issues in genomics research can best be identified, analysed and addressed where ethics is embedded in the design and implementation of such research projects. (shrink)